//
// Progress bar widget colour definitions
//
$progress_bg_color:     $selected_bg_color;
$progress_border_color: $selected_borders_color;
